1. Explanation and Proof in Mathematics
پدیدآورنده : \ Gila Hanna, Hans Niels Jahnke, Helmut Pulte Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Proof theory.,Mathematics -- Philosophy. ,ریاضیات -- فلسفه
رده :
E-Book
,
2. Explanation and proof in mathematics
پدیدآورنده : / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Mathematics, Philosophy,Beweistheorie, swd,Philosophie, swd
رده :
E-BOOK
3. Explanation and proof in mathematics
پدیدآورنده : / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Mathematics, Philosophy
رده :
QA9
.
54
.
E97
2010
4. Explanation and proof in mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proof theory. ; Mathematics ; Philosophy. ; Beweistheorie ; swd. ; Philosophie ; swd. ;
5. Explanation and proof in mathematics: philosophical and educational perspectives
پدیدآورنده : Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Proof theory,Philosophy ، Mathematics
رده :
QA
9
.
54
.
E97
2010
6. Mathematical undecidability, quantum nonlocality, and the question of the existence of God
پدیدآورنده : edited by Alfred Driessen and Antoine Suarez
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Physics- Philosophy,، Mathematics- Philosophy,، Quantum theory,، God- Proof, Ontological
رده :
QC
6
.
M357
1997
7. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
8. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
9. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006